Optimal. Leaf size=150 \[ -\frac {\text {Li}_2\left (1-\frac {b c-a d}{b (c+d x)}\right ) \log ^2\left (\frac {e (a+b x)}{c+d x}\right )}{g (b c-a d)}+\frac {2 \text {Li}_3\left (1-\frac {b c-a d}{b (c+d x)}\right ) \log \left (\frac {e (a+b x)}{c+d x}\right )}{g (b c-a d)}-\frac {2 \text {Li}_4\left (1-\frac {b c-a d}{b (c+d x)}\right )}{g (b c-a d)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.25, antiderivative size = 150, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 3, integrand size = 55, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.055, Rules used = {2506, 2508, 6610} \[ -\frac {\text {PolyLog}\left (2,1-\frac {b c-a d}{b (c+d x)}\right ) \log ^2\left (\frac {e (a+b x)}{c+d x}\right )}{g (b c-a d)}+\frac {2 \text {PolyLog}\left (3,1-\frac {b c-a d}{b (c+d x)}\right ) \log \left (\frac {e (a+b x)}{c+d x}\right )}{g (b c-a d)}-\frac {2 \text {PolyLog}\left (4,1-\frac {b c-a d}{b (c+d x)}\right )}{g (b c-a d)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2506
Rule 2508
Rule 6610
Rubi steps
\begin {align*} \int \frac {\log \left (\frac {b c-a d}{b (c+d x)}\right ) \log ^2\left (\frac {e (a+b x)}{c+d x}\right )}{(c+d x) (a g+b g x)} \, dx &=-\frac {\log ^2\left (\frac {e (a+b x)}{c+d x}\right ) \text {Li}_2\left (1-\frac {b c-a d}{b (c+d x)}\right )}{(b c-a d) g}+\frac {2 \int \frac {\log \left (\frac {e (a+b x)}{c+d x}\right ) \text {Li}_2\left (1-\frac {b c-a d}{b (c+d x)}\right )}{(a+b x) (c+d x)} \, dx}{g}\\ &=-\frac {\log ^2\left (\frac {e (a+b x)}{c+d x}\right ) \text {Li}_2\left (1-\frac {b c-a d}{b (c+d x)}\right )}{(b c-a d) g}+\frac {2 \log \left (\frac {e (a+b x)}{c+d x}\right ) \text {Li}_3\left (1-\frac {b c-a d}{b (c+d x)}\right )}{(b c-a d) g}-\frac {2 \int \frac {\text {Li}_3\left (1-\frac {b c-a d}{b (c+d x)}\right )}{(a+b x) (c+d x)} \, dx}{g}\\ &=-\frac {\log ^2\left (\frac {e (a+b x)}{c+d x}\right ) \text {Li}_2\left (1-\frac {b c-a d}{b (c+d x)}\right )}{(b c-a d) g}+\frac {2 \log \left (\frac {e (a+b x)}{c+d x}\right ) \text {Li}_3\left (1-\frac {b c-a d}{b (c+d x)}\right )}{(b c-a d) g}-\frac {2 \text {Li}_4\left (1-\frac {b c-a d}{b (c+d x)}\right )}{(b c-a d) g}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.04, size = 110, normalized size = 0.73 \[ \frac {-\text {Li}_2\left (\frac {d (a+b x)}{b (c+d x)}\right ) \log ^2\left (\frac {e (a+b x)}{c+d x}\right )+2 \text {Li}_3\left (\frac {d (a+b x)}{b (c+d x)}\right ) \log \left (\frac {e (a+b x)}{c+d x}\right )-2 \text {Li}_4\left (\frac {d (a+b x)}{b (c+d x)}\right )}{g (b c-a d)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [F] time = 0.67, size = 0, normalized size = 0.00 \[ {\rm integral}\left (\frac {\log \left (\frac {b c - a d}{b d x + b c}\right ) \log \left (\frac {b e x + a e}{d x + c}\right )^{2}}{b d g x^{2} + a c g + {\left (b c + a d\right )} g x}, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\log \left (\frac {{\left (b x + a\right )} e}{d x + c}\right )^{2} \log \left (\frac {b c - a d}{{\left (d x + c\right )} b}\right )}{{\left (b g x + a g\right )} {\left (d x + c\right )}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [F] time = 1.09, size = 0, normalized size = 0.00 \[ \int \frac {\ln \left (\frac {\left (b x +a \right ) e}{d x +c}\right )^{2} \ln \left (\frac {-a d +b c}{\left (d x +c \right ) b}\right )}{\left (d x +c \right ) \left (b g x +a g \right )}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ -\frac {4 \, \log \left (b x + a\right ) \log \left (d x + c\right )^{3} - \log \left (d x + c\right )^{4}}{4 \, {\left (b c g - a d g\right )}} - \int \frac {{\left ({\left (d \log \left (b c - a d\right ) - d \log \relax (b)\right )} a - {\left (c \log \left (b c - a d\right ) - c \log \relax (b)\right )} b\right )} \log \left (b x + a\right )^{2} + {\left ({\left (d \log \left (b c - a d\right ) - d \log \relax (b) + 2 \, d \log \relax (e)\right )} a - {\left (c {\left (\log \left (b c - a d\right ) + 2 \, \log \relax (e)\right )} - c \log \relax (b)\right )} b - {\left (3 \, b d x + 2 \, b c + a d\right )} \log \left (b x + a\right )\right )} \log \left (d x + c\right )^{2} + {\left (d \log \left (b c - a d\right ) \log \relax (e)^{2} - d \log \relax (b) \log \relax (e)^{2}\right )} a - {\left (c \log \left (b c - a d\right ) \log \relax (e)^{2} - c \log \relax (b) \log \relax (e)^{2}\right )} b + 2 \, {\left ({\left (d \log \left (b c - a d\right ) \log \relax (e) - d \log \relax (b) \log \relax (e)\right )} a - {\left (c \log \left (b c - a d\right ) \log \relax (e) - c \log \relax (b) \log \relax (e)\right )} b\right )} \log \left (b x + a\right ) + {\left ({\left (b c - a d\right )} \log \left (b x + a\right )^{2} - {\left (2 \, d \log \left (b c - a d\right ) \log \relax (e) - 2 \, d \log \relax (b) \log \relax (e) + d \log \relax (e)^{2}\right )} a - {\left (2 \, c \log \relax (b) \log \relax (e) - {\left (2 \, \log \left (b c - a d\right ) \log \relax (e) + \log \relax (e)^{2}\right )} c\right )} b - 2 \, {\left ({\left (d \log \left (b c - a d\right ) - d \log \relax (b) + d \log \relax (e)\right )} a - {\left (c {\left (\log \left (b c - a d\right ) + \log \relax (e)\right )} - c \log \relax (b)\right )} b\right )} \log \left (b x + a\right )\right )} \log \left (d x + c\right )}{a b c^{2} g - a^{2} c d g + {\left (b^{2} c d g - a b d^{2} g\right )} x^{2} + {\left (b^{2} c^{2} g - a^{2} d^{2} g\right )} x}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.01 \[ \int \frac {{\ln \left (\frac {e\,\left (a+b\,x\right )}{c+d\,x}\right )}^2\,\ln \left (-\frac {a\,d-b\,c}{b\,\left (c+d\,x\right )}\right )}{\left (a\,g+b\,g\,x\right )\,\left (c+d\,x\right )} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ - \frac {d \int \frac {\log {\left (\frac {a e}{c + d x} + \frac {b e x}{c + d x} \right )}^{3}}{c + d x}\, dx}{3 g \left (a d - b c\right )} - \frac {\log {\left (\frac {- a d + b c}{b \left (c + d x\right )} \right )} \log {\left (\frac {e \left (a + b x\right )}{c + d x} \right )}^{3}}{3 a d g - 3 b c g} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________